Auto merge of #3134 - whitequark:patch-1, r=steveklabnik
authorbors <bors@rust-lang.org>
Thu, 29 Sep 2016 14:12:44 +0000 (07:12 -0700)
committerGitHub <noreply@github.com>
Thu, 29 Sep 2016 14:12:44 +0000 (07:12 -0700)
doc: build-script: use cfg(unix), not a hardcoded x86_64 triple

This used to not be possible, but it is now, so let's promote best practices.


Trivial merge